🔗 Dependent Types - abnv · Scour

dropbox/dMATH: Formal verification and theorem proving tools 🧮Theorem Provers

github.com·3d·Hacker News·

Programming Languages and Type Safety in the Era of LLMs 📐Standard ML

thecodedmessage.com·1d·

Andrew Lloyd Webber says ‘appalling’ Cats movie made him get therapy dog ⚡Effect Handlers

independent.co.uk·5h·

Masters of the Universe Trailer #1 (2026) 🌱Forth Kernels

youtube.com·2d·

Introduction to Compilers and Language Design 🎓Teaching Compilers

dthain.github.io·10h·

Issue 518 📏Linear Haskell

haskellweekly.news·13h·

Almighty Lisp: Lisp & Emacs Essentials 🪄Syntax Macros

almightylisp.com·5h·

An Update On Typed Racket For HtDP 🎭Racket Modules

callumr.com·4d·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·1d·Lobsters, Hacker News·

Building CompilerSutra 🎓Teaching Compilers

docs.google.com·18h·DEV·

The Grammar at the Threshold of Its Own Execution 📋Backus-Naur Form

jimiwen.substack.com·21h·Substack·

A WASM first programming language with effect typing 🎨Domain-Specific Languages

voyd.dev·2d·Hacker News·

Quadratic Micropass Type Inference 🔍Type Inference

articles.luminalang.com·6d·Hacker News·

On Magic, Convetions, and Implicit vs Explicit 🔧API Design

andydote.co.uk·22h·

A+ 💬REPL Design

aplwiki.com·2d·Hacker News·

Control Flow: Truth, Conditions, and Pattern-Based Decisions 🔀Control Structures

grox.io·15h·

Useful type hints for Python 🚀Hindley-Milner+

alexwlchan.net·6d·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·2d·Hacker News·

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you 🪆Embedded DSLs

kerkour.com·1d·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification 🧩SAT Solvers

goedelcodeprover.github.io·6d·Hacker News·

Loading more...